Automated Program Synthesis for Java Programming Language
نویسندگان
چکیده
منابع مشابه
Synthesis of Distributed Programs
This paper presents a way for distributed program synthesis. We use Java programming language as a base language that is enchanted with declarative specifications. Program synthesizer that performs automated program construction uses these specifications. Several aspects are presented on how in this framework a new program can be synthesized and executed, taking advantage of the distributed com...
متن کاملOn The Modularization of Theorems for Software Product Lines
A goal of software product lines is the economical synthesis of programs in a family of programs. In this paper, we explain how theorems about program properties can be integrated into feature-based development of software product lines. As a case study, we analyze an existing Java/JVM compilation correctness proof for defining, interpreting, compiling, and executing bytecode for the Java langu...
متن کاملMining Repair Actions for Guiding Automated Program Fixing
Automated program fixing consists of generating source code in order to fix bugs in an automated manner. Our intuition is that automated program fixing can imitate humanbased program fixing. Hence, we present a method to mine repair actions from software repositories. A repair action is a small semantic modification on code such as adding a method call. We then decorate repair actions with a pr...
متن کاملAutomatic Construction of Java Programs from Functional Program Specifications
This paper presents a novel approach to construct Java programs automatically from the input functional program specifications on natural numbers from the constructive proofs of the input specifications using an inductive theorem prover called Poiti′n. The construction of a Java program from the input functional program specification involves two phases. The theorem prover is used to construct ...
متن کاملAutomatically Leveraging MapReduce Frameworks for Data-Intensive Applications
MapReduce is a popular programming paradigm for running largescale data-intensive computation. Recently, many frameworks that implement that paradigm have been developed. To leverage such frameworks, however, developers need to familiarize with each framework’s API and rewrite their code. We present Casper, a new tool that automatically translates sequential Java programs to the MapReduce parad...
متن کامل